Control flow graph

Data Specialization and Program Specialization Based on Control Flow Graph

基于程序流程图的数据例化与程序例化

Implementation of Path Coverage Analysis Based on the Free Edge Control Flow Graph

基于自由边控制流图的路径覆盖分析实现方法

An automatic method for generating control flow graph from source program

一种源程序到控制流图的自动生成方法

To design a broad sense profiling of control flow graph .

设计一个一体化的控制流profiling。

Path coverage in the control flow graph of the automatic generation of technical

路径覆盖中控制流图的自动生成技术

This paper presents a method and implementation techniques to generate control flow graph from source program .

本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。

It is a research subject of software reverse engineering to transform source program into control flow graph .

将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。

Using structural analysis method of draw power station site personnel management system control flow graph ( CFG ) .

采用结构化分析的方法画出电站现场人员工作管理系统的控制流图（CFG）。

Visualizing Control Flow Graph for Parallel Programming

并行程序控制流图可视化的实现

This method takes into account the control flow graph and path condition , so it can increase the precision of result .

该方法还考虑了控制流图和路径条件，提高了测试结果的精度。

The generation of control flow graph is according to preorder traverse of the syntax tree .

控制流图的生成是通过对构件语法树进行先序遍历完成的。

The control flow graph can represent precisely the implicit control flow for a raised exception and exception propagation path .

该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径；

Half-path is a path fragment that is from the entry of control flow graph node to the target element .

半条路径是指从控制流图入口节点到目标覆盖元素的路径片段。

Improved data flow testing can be used to test the third level . It is possible to calculate data flow information through constructing a class control flow graph .

大多数现有的数据流测试可以对前两级进行测试，作者利用改进的数据流测试来测试第3级，通过构造类控制流图来计算数据流信息。

Based on the CFG ( Control Flow Graph ), the algorithm evaluates thread size and inter-thread data dependence quantitatively by the profiling information .

以程序控制流图（CFG）为基础，借助profiling信息对影响线程划分效果的线程体积、线程间的数据相关性等进行量化研究；

Our method is based on the program control flow graph and use average measure value for the local code blocks to evaluate the robustness for the local secret code .

评价方法基于程序控制流图，通过平均局部节点度量值描述软件局部秘密代码的鲁棒性。

The GENERIC trees are converted into GIMPLE form and a subsequent control flow graph to support SSA-based optimizations .

GENERIC树被转换成GIMPLE形式，进而转换成控制流图，以支持基于SSA的优化。

It also provides the view of control flow graph of a function , the view of call graph between functions , the view of program dependence graph of a function .

同时还提供了绘制程序的过程内控制流图，过程间函数调用图，函数的程序依赖图的功能。

In the process of its development , we use strict generation algorithm of control flow graph and the function call graph to make CT_Check with low false alarm and low omission rate .

开发过程中使用严格的控制流图和函数调用图生成算法，使得CTCheck具有低误报率和低漏报率的特点。

For each detected deadlock , backtracking is used to record the related paths in the control flow graph , and static branch prediction is employed to quantify its severity .

对于每个检测到的死锁，通过回溯记录控制流图中相关的路径，并利用静态分支预测量化其严重程度。

Two kind of common matching algorithms are introduced and analysed at first : Boolean expression tree and directed acyclic control flow graph ( CFG ), and then a better one is put forward .

介绍和分析了现有的两种主要规则匹配算法：布尔表达式树和有向无环控制流图，提出了一种快速规则匹配算法。

Such technique traverses the control flow graph of the program , finds candidate block of predicated execution , and predicates the candidate blocks according to the dependency relationship between them .

该技术对程序的控制流图进行遍历，寻找谓词执行的候选块，再根据图中节点的依赖关系对候选块进行谓词化操作。

Subsequently , to obtain complete information flows and carry out covert channel path search effectively , information flow generation rules based on Control Flow Graph and the properties of information flow are formulated , and constrained reverse information flow graph search algorithm is designed .

其次，为了较完整地获取信息流和实现隐通道路径的有效搜索，制定了基于控制流图和信息流性质的信息流生成规则，设计了带约束的逆向信息流图搜索算法。

Firstly , based on analyzing the exception handling mechanism and the effects of exception propagation on data flow analysis , the paper proposes a precise and efficient representation for C + + programs with exception handling constructs & control flow graph that contains exception propagation .

在分析C++异常传播机制和异常传播对数据流分析影响的基础上，提出一种包含异常传播信息的函数间控制流图的构建方法。

The strong time constraints are the time constraints when the delay time of Control Data Flow Graph ( CDFG ) is not satisfied .

强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。

The collaborative process was performed on a refined model extracted from Control Data Flow Graph ( CDFG ) by using special optimization techniques such as property grouping , variable reordering and model-refining .

协同验证平台的实现是基于从控制数据流图得到的细化模型，该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术，以提高验证速度。

A New Representation of Control / Data Flow Graph ( CDFG ) for High Level Synthesis

高层综合中一种新的控制/数据流图表示形式

However , most of path-wise generation techniques only take the control dependence among statements into consideration , viz , build constraint system by analyzing the control flow graph but neglecting the data dependence among statements .

但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖，即通过对控制流图的分析来构建约束系统，而忽略了语句间的数据依赖对约束系统的影响。

Based on the control structure and data path of circuits , a new two-level RTL model is represented , termed Control Flow Graph / Data Flow Graph ( CFG / DFG ) . At the first level , the connection of statements is expressed by CFG ;

本文从电路的控制结构和数据路径两方面出发，建立了电路的控制流图和数据流图两层次模型：第一层通过控制流图反映电路语句间的连接关系；